ALGOL 68 - PDFSEARCH.IO - Document Search Engine

ALGOL 68
Results: 3011

#	Item
51	Implementing Bit-addressing with Specialization Scott Draves School of Computer Science Carnegie Mellon University 5000 Forbes Avenue, Pittsburgh, PA 15213, USA Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:07 Procedural programming languages Object-oriented programming languages Cross-platform software Functional languages ALGOL 68 Type system D Inline expansion ARM architecture Bit array C Quantization
52	1 Introduction One of the most influential papers of Computer Science to appear during the late 1960’s undoubtedly was Tony’s “An Axiomatic Basis for Computer Programming” [1], introducing a special purpose logi Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Formal methods Monitor Hoare logic Invariant Loop invariant Flag semaphore Variable ALGOL 68 Predicate transformer semantics
53	GNU dbm A Database Manager by Philip A. Nelson, Jason Downs and Sergey Poznyakoff Manual by Pierre Gaumond, Philip A. Nelson, Jason Downs Add to Reading List Source URL: www.gnu.org.ua Language: English - Date: 2016-05-17 05:40:24 System calls C++ Data types C POSIX library Structured storage Dbm Const GNU Debugger Open Pointer Write ALGOL 68
54	A Note on Monitor Versions Essay in the Honour of C.A.R. Hoare Ole-Johan Dahl Department of Informatics University of Oslo, Norway 30th July 1999 Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Concurrency control Edsger W. Dijkstra Monitor Hoare logic Event Semaphore Concurrent computing Pascal XC Flag semaphore ALGOL 68 Unix signal
55	gsaslGenerated by DoxygenFri Oct:50:52 Contents Add to Reading List Source URL: josefsson.org Language: English - Date: 2015-08-11 16:46:21 Cross-platform software Procedural programming languages C Struct Technical communication Digest access authentication Stat Doxygen C++ classes Documentation NT LAN Manager ALGOL 68
56	Writing RDMA applications on Linux Example programs Roland Dreier September 3, 2007 Add to Reading List Source URL: www.digitalvampire.org Language: English - Date: 2007-10-10 17:23:13 C Application programming interfaces System calls Berkeley sockets Struct Sizeof Stat Remote direct memory access ALGOL 68 InfiniBand
57	Program Specialization via Program Slicing Thomas Reps and Todd Turnidge University of Wisconsin Abstract This paper concerns the use of program slicing to perform a certain kind of program-specialization operation. The Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Formal languages Program slicing Recursion ALGOL 68 Formal grammar Regular tree grammar Eval Functional programming
58	VEX Parameter Tables Rev 1.5b1 29 January 2002 Each VEX primitive $block is allowed to specify only parameters which are defined for that type of $block. The VEX Parameter Tables define in detail these parameters for eac Add to Reading List Source URL: www.vlbi.org Language: English - Date: 2010-09-08 12:46:55 C++ Source code Scripting languages C Parameter Subroutines XC ALGOL 68 C++ classes IBM i Control Language Scattering parameters
59	The Semantics of Power and ARM Multiprocessor Machine Code Jade Alglave2 Anthony Fox1 Samin Ishtiaq3 Magnus O. Myreen1 Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2012-09-10 07:41:00 Central processing unit Computer architecture Computer memory Parallel computing Instruction set architectures Memory barrier Processor register Instruction set ARM architecture ALGOL 68 CPU cache Computer data storage
60	Semantic Patches for specifying and automating Collateral Evolutions Yoann Padioleau Add to Reading List Source URL: coccinelle.lip6.fr Language: English Procedural programming languages Cross-platform software D ALGOL 68